1. The Lambda Calculus : its Syntax and Semantics
Author: Barendregt, Hendrik Pieter
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Lambda calculus
Classification :
QA
9
.
5
.
B36
1984
